EQ-algebra-based fuzzy type theory and its extensions
نویسندگان
چکیده
منابع مشابه
EQ-algebra-based fuzzy type theory and its extensions
In this paper, we introduce a new algebra called ‘EQ-algebra’, which is an alternative algebra of truth values for formal fuzzy logics. It is specified by replacing implication as the main operation with a fuzzy equality. Namely, EQ-algebra is a semilattice endowed with a binary operation of fuzzy equality and a binary operation of multiplication. Implication is derived from the fuzzy equality ...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملFUZZY SOFT SET THEORY AND ITS APPLICATIONS
In this work, we define a fuzzy soft set theory and its related properties. We then define fuzzy soft aggregation operator that allows constructing more efficient decision making method. Finally, we give an example which shows that the method can be successfully applied to many problems that contain uncertainties.
متن کاملFuzzy Inference System (FIS) Extensions Based on Lattice Theory
A Fuzzy Inference System (FIS) typically implements a function f : R → T, where the domain set R denotes the totally-ordered set of real numbers, whereas the range set T may be either T = R (i.e. FIS regressor) or T may be a set of labels (i.e. FIS classifier), etc. This work considers the complete lattice (F,1) of Type-1 Intervals’ Numbers, or INs for short, where an IN F can be interpreted as...
متن کاملNon-Commutative EQ-Logics and Their Extensions
We discuss a formal many-valued logic called EQlogic which is based on a recently introduced special class of algebras called EQ-algebras. The latter have three basic binary operations (meet, multiplication, fuzzy equality) and a top element and, in a certain sense, generalize residuated lattices. The goal of EQ-logics is to present a possible direction in the development of mathematical logics...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2010
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzp087